package sketch.check;
//a randoop style check
public class Check {

}
